#Thu Dec  8 06:30:17 2011./inv knuth 23000 103
./inv knuth 59086 574
./inv knuth 16587 604
./inv knuth 4300 563
./inv knuth 66888 440
./inv knuth 99066 822
./inv knuth 36792 138
./inv knuth 23497 235
./inv knuth 89186 221
./inv knuth 75776 742
./inv knuth 92303 532
./inv knuth 2345 278
./inv knuth 45590 354
./inv knuth 44487 616
./inv knuth 32156 797
./inv knuth 5032 925
./inv knuth 5573 339
./inv knuth 42638 612
./inv knuth 12130 118
./inv knuth 31092 571
./inv knuth 91589 508
./inv knuth 50719 55
./inv knuth 23923 480
./inv knuth 70687 226
./inv knuth 53310 729
./inv knuth 42709 666
./inv knuth 10208 858
./inv knuth 13429 906
./inv knuth 67305 260
./inv knuth 33938 524
./inv knuth 36676 338
./inv knuth 35215 559
./inv knuth 32085 784
./inv knuth 25078 545
./inv knuth 4999 112
./inv knuth 81097 822
./inv knuth 73738 205
./inv knuth 21346 817
./inv knuth 23156 143
./inv knuth 85021 126
./inv knuth 39025 201
./inv knuth 92316 320
./inv knuth 98772 289
./inv knuth 59860 507
./inv knuth 3724 216
./inv knuth 84830 198
./inv knuth 43335 783
./inv knuth 29557 373
./inv knuth 51133 484
./inv knuth 5108 330
./inv knuth 86042 875
./inv knuth 30182 159
./inv knuth 96688 669
./inv knuth 11930 468
./inv knuth 24746 166
./inv knuth 36664 393
./inv knuth 13581 466
./inv knuth 7658 667
./inv knuth 44336 925
./inv knuth 51548 911
./inv knuth 53776 887
./inv knuth 94034 606
./inv knuth 23962 511
./inv knuth 23686 139
./inv knuth 8367 850
./inv knuth 2562 517
./inv knuth 74885 453
./inv knuth 42410 84
./inv knuth 38863 66
./inv knuth 71337 116
./inv knuth 46928 66
./inv knuth 75151 847
./inv knuth 91632 317
./inv knuth 1240 532
./inv knuth 86104 784
./inv knuth 64938 797
./inv knuth 18805 151
./inv knuth 62967 380
./inv knuth 47353 63
./inv knuth 98740 294
./inv knuth 71145 857
./inv knuth 4653 404
./inv knuth 49218 954
./inv knuth 16357 976
./inv knuth 87576 922
./inv knuth 53987 750
./inv knuth 48450 999
./inv knuth 73025 769
./inv knuth 47203 172
./inv knuth 51805 662
./inv knuth 53723 591
./inv knuth 37600 873
./inv knuth 30289 920
./inv knuth 77223 34
./inv knuth 81381 122
./inv knuth 42262 954
./inv knuth 45937 329
./inv knuth 34415 676
./inv knuth 72797 958
./inv knuth 3241 128
./inv knuth 45802 931
./inv knuth 33896 758
./inv knuth 49594 336
./inv knuth 87940 141
./inv knuth 83415 821
./inv knuth 58509 247
./inv knuth 70470 930
./inv knuth 33182 153
./inv knuth 51962 130
./inv knuth 6501 207
./inv knuth 60844 776
./inv knuth 2548 473
./inv knuth 70157 545
./inv knuth 68638 489
./inv knuth 91333 450
./inv knuth 69598 313
./inv knuth 92669 558
./inv knuth 67906 546
./inv knuth 13919 248
./inv knuth 73440 500
./inv knuth 33460 637
./inv knuth 49812 490
./inv knuth 55429 426
./inv knuth 11114 320
./inv knuth 50523 440
./inv knuth 16911 502
./inv knuth 39110 951
./inv knuth 82088 334
./inv knuth 62616 601
./inv knuth 99825 246
./inv knuth 6164 633
./inv knuth 85774 653
./inv knuth 96231 567
./inv knuth 47864 901
./inv knuth 92520 820
./inv knuth 56886 125
./inv knuth 90504 256
./inv knuth 81436 229
./inv knuth 83450 78
./inv knuth 34905 451
./inv knuth 85246 54
./inv knuth 85828 956
./inv knuth 33100 206
./inv knuth 31211 152
./inv knuth 7588 991
./inv knuth 15603 84
./inv knuth 68778 801
./inv knuth 78674 889
./inv knuth 78277 794
./inv knuth 23687 488
./inv knuth 66151 147
./inv knuth 52512 223
./inv knuth 89827 161
./inv knuth 43653 758
./inv knuth 17134 283
./inv knuth 25072 676
./inv knuth 3537 736
./inv knuth 43051 515
./inv knuth 77654 660
./inv knuth 72061 938
./inv knuth 46992 218
./inv knuth 45615 144
./inv knuth 81668 945
./inv knuth 25669 150
./inv knuth 53062 162
./inv knuth 69052 286
./inv knuth 72794 333
./inv knuth 665 823
./inv knuth 6503 915
./inv knuth 22280 564
./inv knuth 92895 81
./inv knuth 76426 946
./inv knuth 34479 945
./inv knuth 13296 392
./inv knuth 5706 19
./inv knuth 2451 138
./inv knuth 54793 798
./inv knuth 23516 789
./inv knuth 91075 827
./inv knuth 2045 265
./inv knuth 49393 298
./inv knuth 62882 101
./inv knuth 64952 207
./inv knuth 72932 526
./inv knuth 43074 405
./inv knuth 45291 763
./inv knuth 82803 511
./inv knuth 36156 110
./inv knuth 69039 77
./inv knuth 11287 138
./inv knuth 70449 278
./inv knuth 94552 226
./inv knuth 794 232
./inv knuth 28632 951
./inv knuth 94622 569
./inv knuth 84274 955
./inv knuth 36827 847
./inv knuth 5229 385
./inv knuth 50120 831
./inv knuth 20766 653
./inv knuth 98425 401
./inv knuth 96101 710
./inv knuth 96362 553
./inv knuth 80696 100
./inv knuth 74729 893
./inv knuth 63221 768
./inv knuth 53760 254
./inv knuth 63813 788
./inv knuth 74686 416
./inv knuth 82754 385
./inv knuth 27980 166
./inv knuth 1822 246
./inv knuth 94207 274
./inv knuth 33769 833
./inv knuth 4701 344
./inv knuth 79012 522
./inv knuth 31876 696
./inv knuth 53195 468
./inv knuth 95176 774
./inv knuth 85368 327
./inv knuth 60439 592
./inv knuth 48263 154
./inv knuth 6123 589
./inv knuth 19788 827
./inv knuth 74031 190
./inv knuth 96348 853
./inv knuth 61775 211
./inv knuth 61210 756
./inv knuth 3035 470
./inv knuth 86797 655
./inv knuth 19179 156
./inv knuth 18840 258
./inv knuth 46490 721
./inv knuth 17863 466
./inv knuth 62557 699
./inv knuth 61519 282
./inv knuth 59640 366
./inv knuth 20085 157
./inv knuth 60863 581
./inv knuth 529 244
./inv knuth 52187 393
./inv knuth 70895 829
./inv knuth 48818 316
./inv knuth 19439 956
./inv knuth 30845 178
./inv knuth 13806 192
./inv knuth 15663 5
./inv knuth 84641 799
./inv knuth 16896 224
./inv knuth 97659 786
./inv knuth 66670 750
./inv knuth 44127 706
./inv knuth 95068 774
./inv knuth 99434 155
./inv knuth 82390 629
./inv knuth 69002 865
./inv knuth 63245 191
./inv knuth 77579 670
./inv knuth 49796 629
./inv knuth 11982 518
./inv knuth 52004 858
./inv knuth 74272 662
./inv knuth 89508 950
./inv knuth 93756 328
./inv knuth 25634 527
./inv knuth 34660 138
./inv knuth 19217 762
./inv knuth 72537 941
./inv knuth 65846 946
./inv knuth 70940 263
./inv knuth 17677 872
./inv knuth 50398 825
./inv knuth 28198 877
./inv knuth 30665 668
./inv knuth 27935 203
./inv knuth 31049 778
./inv knuth 55775 137
./inv knuth 40003 803
./inv knuth 98131 301
./inv knuth 63712 599
./inv knuth 70421 201
./inv knuth 26950 179
./inv knuth 59972 308
./inv knuth 85255 87
./inv knuth 78670 510
./inv knuth 75830 528
./inv knuth 73644 141
./inv knuth 86890 126
./inv knuth 13053 542
./inv knuth 13587 391
./inv knuth 79835 363
./inv knuth 39611 286
./inv knuth 32402 848
./inv knuth 46268 916
./inv knuth 99714 623
./inv knuth 17694 732
./inv knuth 12735 441
./inv knuth 90665 388
./inv knuth 45399 755
./inv knuth 17165 313
./inv knuth 83078 202
./inv knuth 22881 465
./inv knuth 56417 431
./inv knuth 41895 693
./inv knuth 80368 554
./inv knuth 59402 450
./inv knuth 21723 850
./inv knuth 12867 320
./inv knuth 19363 969
./inv knuth 64516 862
./inv knuth 99228 356
./inv knuth 30222 569
./inv knuth 71882 711
./inv knuth 53176 756
./inv knuth 64320 322
./inv knuth 95810 322
./inv knuth 97672 417
./inv knuth 8469 726
./inv knuth 32293 388
./inv knuth 96614 756
./inv knuth 53671 942
./inv knuth 52543 764
./inv knuth 70385 942
./inv knuth 2862 304
./inv knuth 63383 20
./inv knuth 58707 237
./inv knuth 80191 573
./inv knuth 95203 894
./inv knuth 62007 339
./inv knuth 3071 994
./inv knuth 69220 552
./inv knuth 57592 51
./inv knuth 31416 859
./inv knuth 42556 342
./inv knuth 60631 139
./inv knuth 50930 935
./inv knuth 91682 538
./inv knuth 43222 266
./inv knuth 23036 640
./inv knuth 67626 290
./inv knuth 63592 567
./inv knuth 10389 700
./inv knuth 55208 556
./inv knuth 42052 579
./inv knuth 95911 228
./inv knuth 28570 898
./inv knuth 89247 813
./inv knuth 21665 841
./inv knuth 75957 354
./inv knuth 92695 124
./inv knuth 44222 185
./inv knuth 45267 637
./inv knuth 40509 662
./inv knuth 90746 196
./inv knuth 61373 120
./inv knuth 89401 299
./inv knuth 37053 248
./inv knuth 53552 807
./inv knuth 13480 955
./inv knuth 75347 486
./inv knuth 66612 808
./inv knuth 35068 697
./inv knuth 10126 872
./inv knuth 57583 7
./inv knuth 89352 339
./inv knuth 82410 154
./inv knuth 58165 118
./inv knuth 91972 289
./inv knuth 12564 338
./inv knuth 22566 638
./inv knuth 3950 505
./inv knuth 22270 897
./inv knuth 69674 776
./inv knuth 17386 404
./inv knuth 33150 53
./inv knuth 38794 442
./inv knuth 8815 224
./inv knuth 24732 863
./inv knuth 43906 376
./inv knuth 13217 26
./inv knuth 92596 712
./inv knuth 60947 641
./inv knuth 33956 571
./inv knuth 75476 242
./inv knuth 71160 678
./inv knuth 6437 225
./inv knuth 23238 213
./inv knuth 50367 71
./inv knuth 88702 604
./inv knuth 34017 302
./inv knuth 91091 691
./inv knuth 71240 755
./inv knuth 30983 384
./inv knuth 96290 120
./inv knuth 96981 828
./inv knuth 81049 351
./inv knuth 34586 271
./inv knuth 619 685
./inv knuth 29246 559
./inv knuth 17221 12
./inv knuth 33850 843
./inv knuth 8096 171
./inv knuth 66438 396
./inv knuth 94225 800
./inv knuth 64183 793
./inv knuth 70219 468
./inv knuth 26826 194
./inv knuth 34566 743
./inv knuth 38195 710
./inv knuth 14582 472
./inv knuth 52523 894
./inv knuth 41753 650
./inv knuth 96721 124
./inv knuth 60030 263
./inv knuth 6308 147
./inv knuth 16873 495
./inv knuth 19141 818
./inv knuth 35468 248
./inv knuth 73683 998
./inv knuth 60960 199
./inv knuth 70096 357
./inv knuth 14995 278
./inv knuth 52684 61
./inv knuth 9954 9
./inv knuth 31228 633
./inv knuth 83573 441
./inv knuth 63188 873
./inv knuth 99195 721
./inv knuth 20895 790
./inv knuth 68808 718
./inv knuth 44569 589
./inv knuth 47050 835
./inv knuth 56695 602
./inv knuth 27219 292
./inv knuth 98755 672
./inv knuth 94154 843
./inv knuth 86502 556
./inv knuth 72283 570
./inv knuth 80468 84
./inv knuth 66436 976
./inv knuth 1682 739
./inv knuth 32658 136
./inv knuth 1232 634
./inv knuth 68218 112
./inv knuth 28507 288
./inv knuth 77775 814
./inv knuth 72795 932
./inv knuth 98115 334
./inv knuth 80224 277
./inv knuth 34113 230
./inv knuth 84811 892
./inv knuth 50727 577
./inv knuth 15117 254
./inv knuth 54981 922
./inv knuth 6974 307
./inv knuth 8620 97
./inv knuth 70017 39
./inv knuth 8688 657
./inv knuth 9092 232
./inv knuth 20232 515
./inv knuth 43883 849
./inv knuth 80923 830
./inv knuth 7464 461
./inv knuth 2498 205
./inv knuth 92625 812
./inv knuth 53909 975
./inv knuth 52397 804
./inv knuth 30442 968
./inv knuth 55099 811
./inv knuth 74819 560
./inv knuth 86902 868
./inv knuth 90033 879
./inv knuth 61295 123
./inv knuth 24409 799
./inv knuth 80337 451
./inv knuth 3592 399
./inv knuth 88040 202
./inv knuth 20178 964
./inv knuth 18961 838
./inv knuth 30531 763
./inv knuth 21564 424
./inv knuth 66479 651
./inv knuth 46487 817
./inv knuth 86366 810
./inv knuth 51006 859
./inv knuth 54163 793
./inv knuth 22399 618
./inv knuth 85361 337
./inv knuth 33542 300
./inv knuth 67195 201
./inv knuth 1321 486
./inv knuth 43883 925
./inv knuth 11705 254
./inv knuth 47116 390
./inv knuth 27387 175
./inv knuth 96227 446
./inv knuth 39945 611
./inv knuth 61065 147
./inv knuth 12689 300
./inv knuth 38332 158
./inv knuth 24696 189
./inv knuth 76271 703
./inv knuth 47557 79
./inv knuth 95652 632
./inv knuth 43595 137
./inv knuth 53900 80
./inv knuth 9699 788
./inv knuth 57151 962
./inv knuth 99222 832
./inv knuth 11426 984
./inv knuth 97022 304
./inv knuth 82064 245
./inv knuth 63435 411
./inv knuth 60913 173
./inv knuth 44630 384
./inv knuth 87895 492
./inv knuth 60202 638
./inv knuth 75436 883
./inv knuth 42908 772
./inv knuth 24571 899
./inv knuth 96639 468
./inv knuth 8826 281
./inv knuth 2186 296
./inv knuth 29353 997
./inv knuth 83375 587
./inv knuth 95909 212
./inv knuth 942 73
./inv knuth 55324 506
./inv knuth 90635 303
./inv knuth 56503 228
./inv knuth 89485 670
./inv knuth 99917 539
./inv knuth 31744 380
./inv knuth 75653 674
./inv knuth 47730 433
./inv knuth 35866 522
./inv knuth 13628 853
./inv knuth 75575 586
./inv knuth 8311 30
./inv knuth 73804 527
./inv knuth 76434 79
./inv knuth 36344 243
./inv knuth 97783 681
./inv knuth 70506 159
./inv knuth 68112 636
./inv knuth 83712 159
./inv knuth 41958 198
./inv knuth 33994 389
./inv knuth 20073 406
./inv knuth 36535 185
./inv knuth 75323 640
./inv knuth 50749 927
./inv knuth 62064 513
./inv knuth 14809 857
./inv knuth 81382 567
./inv knuth 22568 564
./inv knuth 30140 179
./inv knuth 7357 453
./inv knuth 66370 777
./inv knuth 54227 574
./inv knuth 74912 398
./inv knuth 19159 469
./inv knuth 84841 547
./inv knuth 92914 917
./inv knuth 66751 98
./inv knuth 75615 69
./inv knuth 85205 281
./inv knuth 99221 788
./inv knuth 82141 763
./inv knuth 68023 489
./inv knuth 40245 509
./inv knuth 16362 962
./inv knuth 1962 917
./inv knuth 7569 757
./inv knuth 5154 704
./inv knuth 30699 167
./inv knuth 43850 471
./inv knuth 12070 498
./inv knuth 54488 437
./inv knuth 99213 584
./inv knuth 52328 266
./inv knuth 67435 1000
./inv knuth 61118 722
./inv knuth 19472 592
./inv knuth 28114 906
./inv knuth 70458 826
./inv knuth 43835 171
./inv knuth 65439 988
./inv knuth 18016 328
./inv knuth 72290 398
./inv knuth 45211 173
./inv knuth 90508 8
./inv knuth 59521 972
./inv knuth 99185 952
./inv knuth 82742 152
./inv knuth 42052 265
./inv knuth 77045 652
./inv knuth 62836 283
./inv knuth 59534 694
./inv knuth 75637 153
./inv knuth 39602 482
./inv knuth 93557 43
./inv knuth 62448 995
./inv knuth 57778 639
./inv knuth 52056 827
./inv knuth 74662 238
./inv knuth 1234 638
./inv knuth 33989 596
./inv knuth 33550 124
./inv knuth 19231 349
./inv knuth 68961 946
./inv knuth 11878 992
./inv knuth 54566 899
./inv knuth 17758 989
./inv knuth 4486 379
./inv knuth 32414 778
./inv knuth 17515 156
./inv knuth 70745 794
./inv knuth 65136 312
./inv knuth 78109 840
./inv knuth 96654 765
./inv knuth 77546 929
./inv knuth 50865 426
./inv knuth 68619 343
./inv knuth 98300 872
./inv knuth 18013 273
./inv knuth 34189 838
./inv knuth 13618 894
./inv knuth 46653 238
./inv knuth 64645 897
./inv knuth 21458 655
./inv knuth 39754 975
./inv knuth 98241 330
./inv knuth 78474 926
./inv knuth 88758 198
./inv knuth 3119 830
./inv knuth 96569 572
./inv knuth 16016 108
./inv knuth 6609 874
./inv knuth 10720 757
./inv knuth 32259 492
./inv knuth 16135 54
./inv knuth 65835 93
./inv knuth 51689 829
./inv knuth 53617 308
./inv knuth 76630 963
./inv knuth 6126 578
./inv knuth 44935 376
./inv knuth 69504 657
./inv knuth 90871 433
./inv knuth 83407 170
./inv knuth 10204 543
./inv knuth 30224 204
./inv knuth 37943 53
./inv knuth 85957 476
./inv knuth 32925 837
./inv knuth 36353 106
./inv knuth 12827 140
./inv knuth 91804 499
./inv knuth 75643 136
./inv knuth 27747 585
./inv knuth 12508 396
./inv knuth 94106 743
./inv knuth 42568 145
./inv knuth 86656 133
./inv knuth 8229 546
./inv knuth 99479 575
./inv knuth 34030 253
./inv knuth 52848 840
./inv knuth 23898 228
./inv knuth 28983 464
./inv knuth 28887 160
./inv knuth 87393 616
./inv knuth 25162 68
./inv knuth 92710 51
./inv knuth 96858 752
./inv knuth 36317 464
./inv knuth 72722 690
./inv knuth 75340 707
./inv knuth 66986 316
./inv knuth 57231 692
./inv knuth 69884 175
./inv knuth 26684 236
./inv knuth 9274 903
./inv knuth 86242 46
./inv knuth 81124 570
./inv knuth 58219 660
./inv knuth 22059 15
./inv knuth 30343 324
./inv knuth 99318 541
./inv knuth 37028 252
./inv knuth 47759 40
./inv knuth 11136 366
./inv knuth 35588 762
./inv knuth 97102 854
./inv knuth 76242 178
./inv knuth 83558 250
./inv knuth 99265 492
./inv knuth 61211 854
./inv knuth 39036 951
./inv knuth 97671 488
./inv knuth 42872 935
./inv knuth 21274 620
./inv knuth 52938 83
./inv knuth 40173 104
./inv knuth 13377 297
./inv knuth 94004 152
./inv knuth 8943 215
./inv knuth 66375 873
./inv knuth 23638 80
./inv knuth 84804 148
./inv knuth 65706 370
./inv knuth 7746 8
./inv knuth 81503 225
./inv knuth 83434 738
./inv knuth 67138 360
./inv knuth 80676 239
./inv knuth 13608 948
./inv knuth 45799 474
./inv knuth 75769 422
./inv knuth 35057 315
./inv knuth 55894 143
./inv knuth 45513 596
./inv knuth 30652 355
./inv knuth 95647 45
./inv knuth 73120 116
./inv knuth 8667 185
./inv knuth 57091 758
./inv knuth 93443 368
./inv knuth 42170 753
./inv knuth 13666 862
./inv knuth 22370 113
./inv knuth 26528 957
./inv knuth 44075 516
./inv knuth 65381 82
./inv knuth 95866 37
./inv knuth 90554 103
./inv knuth 92579 192
./inv knuth 20902 529
./inv knuth 54225 966
./inv knuth 89739 455
./inv knuth 5037 196
./inv knuth 55614 266
./inv knuth 27708 607
./inv knuth 70913 856
./inv knuth 68800 47
./inv knuth 87558 3
./inv knuth 71454 137
./inv knuth 17288 855
./inv knuth 5982 632
./inv knuth 77137 934
./inv knuth 97621 198
./inv knuth 45563 869
./inv knuth 50812 22
./inv knuth 30371 196
./inv knuth 85168 457
./inv knuth 51729 745
./inv knuth 90407 691
./inv knuth 48885 808
./inv knuth 58718 587
./inv knuth 79143 72
./inv knuth 73323 199
./inv knuth 39984 251
./inv knuth 9016 875
./inv knuth 58030 501
./inv knuth 37819 303
./inv knuth 55053 848
./inv knuth 53823 600
./inv knuth 53539 569
./inv knuth 28336 604
./inv knuth 47324 849
./inv knuth 32559 574
./inv knuth 91518 513
./inv knuth 21882 584
./inv knuth 7016 820
./inv knuth 25270 984
./inv knuth 97334 519
./inv knuth 26114 833
./inv knuth 22213 294
./inv knuth 75906 563
./inv knuth 3805 417
./inv knuth 38197 299
./inv knuth 75078 288
./inv knuth 1880 211
./inv knuth 16406 40
./inv knuth 3114 313
./inv knuth 44665 437
./inv knuth 4992 404
./inv knuth 57082 713
./inv knuth 71689 787
./inv knuth 90120 194
./inv knuth 99292 105
./inv knuth 7566 368
./inv knuth 35731 322
./inv knuth 88940 306
./inv knuth 51560 746
./inv knuth 41606 736
./inv knuth 83773 265
./inv knuth 37665 560
./inv knuth 98721 354
./inv knuth 38916 910
./inv knuth 97178 726
./inv knuth 8470 841
./inv knuth 19002 392
./inv knuth 20110 797
./inv knuth 58357 45
./inv knuth 47278 674
./inv knuth 83371 636
./inv knuth 78442 208
./inv knuth 51812 123
./inv knuth 74281 920
./inv knuth 90509 647
./inv knuth 97521 945
./inv knuth 92453 729
./inv knuth 80716 209
./inv knuth 84188 111
./inv knuth 83760 846
./inv knuth 67095 219
./inv knuth 35724 653
./inv knuth 2526 325
./inv knuth 59355 704
./inv knuth 20048 292
./inv knuth 91972 46
./inv knuth 81937 674
./inv knuth 27527 853
./inv knuth 11697 445
./inv knuth 59896 615
./inv knuth 34978 661
./inv knuth 64637 898
./inv knuth 70912 402
./inv knuth 70626 850
./inv knuth 13742 600
./inv knuth 63016 928
./inv knuth 83394 341
./inv knuth 96658 843
./inv knuth 70886 97
./inv knuth 23829 304
./inv knuth 88710 572
./inv knuth 83835 307
./inv knuth 57341 95
./inv knuth 43546 227
./inv knuth 36273 994
./inv knuth 29319 236
./inv knuth 71860 498
./inv knuth 35479 623
./inv knuth 59648 89
./inv knuth 37630 143
./inv knuth 14785 55
./inv knuth 37368 48
./inv knuth 81657 584
./inv knuth 60824 825
./inv knuth 6740 236
./inv knuth 84808 751
./inv knuth 15500 90
./inv knuth 36533 345
./inv knuth 22470 389
./inv knuth 28472 517
./inv knuth 81620 317
./inv knuth 94796 383
./inv knuth 29736 271
./inv knuth 63138 92
./inv knuth 96366 924
./inv knuth 39415 330
./inv knuth 57586 581
./inv knuth 78473 592
./inv knuth 83577 559
./inv knuth 15483 62
./inv knuth 87919 408
./inv knuth 15537 192
./inv knuth 44390 179
./inv knuth 7933 350
./inv knuth 58119 468
./inv knuth 31641 1
./inv knuth 80998 392
./inv knuth 95379 817
./inv knuth 67070 305
./inv knuth 5318 173
./inv knuth 84113 360
./inv knuth 23905 155
./inv knuth 26260 983
./inv knuth 2781 588
./inv knuth 57833 583
./inv knuth 53534 363
./inv knuth 93302 407
./inv knuth 47329 604
./inv knuth 57588 569
./inv knuth 76300 914
./inv knuth 55165 379
./inv knuth 25011 906
./inv knuth 75807 868
./inv knuth 55436 848
./inv knuth 36596 211
./inv knuth 2094 986
./inv knuth 45368 426
./inv knuth 21947 391
./inv knuth 9696 657
./inv knuth 75815 942
./inv knuth 44516 884
./inv knuth 23764 378
./inv knuth 68318 161
./inv knuth 31493 267
./inv knuth 22189 920
./inv knuth 54112 886
./inv knuth 17347 266
./inv knuth 57707 362
./inv knuth 86176 185
./inv knuth 88675 214
./inv knuth 7599 780
./inv knuth 79787 785
./inv knuth 74928 179
./inv knuth 83796 567
./inv knuth 36916 150
./inv knuth 61457 208
./inv knuth 5112 827
./inv knuth 80837 248
./inv knuth 33887 522
./inv knuth 66828 391
./inv knuth 34915 574
./inv knuth 77314 232
./inv knuth 95881 478
./inv knuth 43391 78
./inv knuth 63220 27
./inv knuth 84864 75
./inv knuth 72114 640
./inv knuth 69777 456
./inv knuth 80905 24
./inv knuth 49417 51
./inv knuth 37113 596
./inv knuth 66281 687
./inv knuth 52614 623
./inv knuth 29589 175
./inv knuth 73472 401
./inv knuth 30466 726
./inv knuth 67210 594
./inv knuth 65398 975
./inv knuth 54787 758
./inv knuth 29706 492
./inv knuth 27826 163
./inv knuth 74437 979
./inv knuth 85333 128
./inv knuth 79875 900
./inv knuth 95407 393
./inv knuth 99978 780
./inv knuth 36343 542
./inv knuth 41317 193
./inv knuth 37606 334
./inv knuth 68815 816
./inv knuth 23929 545
./inv knuth 35978 446
./inv knuth 60149 831
./inv knuth 2548 769
./inv knuth 79428 528
./inv knuth 19806 442
./inv knuth 71940 237
./inv knuth 75324 180
./inv knuth 54782 515
./inv knuth 35604 298
./inv knuth 19012 860
./inv knuth 95862 967
./inv knuth 21789 735
./inv knuth 28326 130
./inv knuth 99114 109
./inv knuth 35038 283
./inv knuth 81578 500
./inv knuth 30322 759
./inv knuth 77181 928
./inv knuth 48462 782
./inv knuth 80232 428
./inv knuth 20155 247
./inv knuth 1298 20
./inv knuth 20406 877
./inv knuth 44096 246
./inv knuth 67009 829
./inv knuth 30061 396
./inv knuth 1094 871
./inv knuth 32999 237
./inv knuth 273 517
./inv knuth 167 810
./inv knuth 46002 700
./inv knuth 25061 632
./inv knuth 67057 509
./inv knuth 4300 83
./inv knuth 46271 393
./inv knuth 91541 381
./inv knuth 98859 907
./inv knuth 22667 596
./inv knuth 44267 502
./inv knuth 19831 374
./inv knuth 2683 740
./inv knuth 46433 538
./inv knuth 11932 667
./inv knuth 79523 895
./inv knuth 27048 34
./inv knuth 54308 816
./inv knuth 95608 299
./inv knuth 95373 340
./inv knuth 52959 304
./inv knuth 52927 170
./inv knuth 19004 742
./inv knuth 91522 438